39.44/40.36	unsat
