42.69/44.47	unsat
