43.89/44.06	unsat
