12.77/14.30	unsat
