14.67/20.30	unsat
