12.66/13.61	unsat
