43.05/48.40	unsat
