40.31/43.03	unsat
