14.92/20.65	unsat
