12.77/14.91	unsat
