39.67/40.33	unsat
