11.77/13.41	unsat
