12.77/13.37	unsat
