39.83/40.59	unsat
