11.45/15.06	unsat
