43.00/43.40	unsat
