44.80/47.40	unsat
