15.86/18.24	unsat
