43.86/44.59	unsat
