42.50/44.79	unsat
