12.87/13.84	unsat
