12.87/15.06	unsat
